1. Axiomatic projective geometry
Author: Heyting, Arend,
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Geometry, Projective
Classification :
QA
554
.
H48
2. Closure properties and kripke models for fragments of heyting arithmetic
Author: by: Morteza Moniri,^AMoniri, Morteza
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
3. Collected works
Author: Brouwer, Luitzen Egbertus Jan
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics
Classification :
QA
3
.
B86
1975
4. Collected works
Author: / L. E. J. Brouwer
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - Collected works
Classification :
510
.
8
B876
1975
5. Collected works.
Author: L.E.J. Brouwer ; edited by A. Heyting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
6. Intuitionism
Author: / by A. Heyting
Library: Library of Economics (Tehran)
Subject: Logic, Symbolic and mathematical,Mathemtics-Methodology
Classification :
QA
9
.
H4
1971
7. Intuitionism :
Author: A. Heyting
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Intuitionistic mathematics
Classification :
QA9
.
H46
1971
8. Intuitionism.An introduction.
Author: Heyting, A.)Arend( 8981-
Library: Library of Mofid University (Qom)
Subject:
Classification :
QA
9
.
H4
I5
1976
9. Intuitionism. An introduction
Author: / (By) A. Heyting
Library: Library of College of Science University of Tehran (Tehran)
Subject: Intuitionistic mathematics
Classification :
QA
9
.
H46
10. Intuitionism : An introduction
Author: A. Heyting
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Intuitionistic mathematics
Classification :
QA
9
.
H49I5
11. Intuitionism; an introduction
پدیدآورنده : Heyting, Arend
موضوع : ، Logic, symbolic and mathematical,، Mathematics-- Methodology
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
12. Intuitionism:an introduction
Author: HEYTING,AREND
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: INTUITIONISTIC MATHEMATICS
Classification :
QA
9
.
H46
1971
13. Intuitionism; an introduction
Author: / A. Heyting
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Intuitionistic mathematics
Classification :
511
.
2
H621
14. Semantical investigations in Heyting's intuitionistic logic
Author: Dov M. Gabbay
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Intuitionistic mathematics
Classification :
QA
9
.
47
.
G22S4
15. Title in the Rossian
Author: Heyting
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical,Mathematics-- Methodology
Classification :
QA
9
.
H417
